Electronic Books

Achievements in European Research on Grid Systems : CoreGRID Integration Workshop 2006 (Selected Papers)

Achievements in European Research on Grid Systems comprises the edited proceedings of the 2006 CoreGRID Integration Workshop ...

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings

This book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in ...

Algorithms and Architectures for Parallel Processing : 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Algorithms and Architectures for Parallel ...

Anti-fragile ICT Systems

This book introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions ...

Anti-fragile ICT Systems

Introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions and their ...

Botnet Detection : Countering the Largest Security Threat

Botnet Detection: Countering the Largest Security Threat, a contributed volume by world-class leaders in this field, is based ...

Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15–19, 2019, Revised Selected Papers

Challenges for Next Generation Network Operations and Service Management : 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th Asia-Pacific Network Operations and Management Symposium, APNOMS ...

Communicating, Networking: Interacting : The International Year of Global Understanding - IYGU

This book illustrates the benefits to be gained from digitally networked communication for health, education and transitioning ...

Communicating, Networking: Interacting : The International Year of Global Understanding - IYGU

illustrates the benefits to be gained from digitally networked communication for health, education and transitioning economies ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Cyber-Physical Systems of Systems : Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

Technical Systems-of-Systems (SoS) – in the form of networked, independent constituent computing systems temporarily collaborating ...

Cyber-Physical Systems: A Model-Based Approach

In this concise yet comprehensive textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems ...

Design, Automation, and Test in Europe : The Most Influential Papers of 10 Years Date

The Design, Automation and Test in Europe (DATE) conference celebrated in 2007 its tenth anniversary. This provides an excellent ...

Developing Ambient Intelligence : Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07)

The research papers included in the AmI.d proceedings are devoted to both theoretical and applied research, cover the most ...

Developments in Telecommunications : With a Focus on SS7 Network Reliability

This book summarizes important developments in telecommunications, including SS7 over IP, with a focus on SS7 network reliability.

Digital Imaging and Communications in Medicine (DICOM) : A Practical Introduction and Survival Guide

This is the first Digital Imaging and Communications in Medicine (DICOM) book to introduce this complex imaging standard ...

Distributed Embedded Control Systems : Improving Dependability with Coherent Design

Distributed Embedded Control Systems handles the domains encountered when designing a distributed embedded computer control ...